Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Documentation] Adds TA1 Integration Dashboard to our github webpage #665

Merged
merged 5 commits into from
Nov 17, 2023

Conversation

Free-Quarks
Copy link
Collaborator

Summary of Changes

  • I added an entry to link to the TA1 Integration Dashboard run by the TA4 people.
  • I did a little organization change to the Nav bar, so make a new coverage section for our coverage reports and testing

@Free-Quarks Free-Quarks changed the title Adds TA1 Integration Dashboard to our github webpage [Documentation] Adds TA1 Integration Dashboard to our github webpage Nov 17, 2023
@github-actions github-actions bot added the documentation Improvements or additions to documentation label Nov 17, 2023
mkdocs.yml Outdated
- Building docker images: "dev/docker.md"
- Publishing an incremental release: "dev/creating-an-incremental-release.md"
- Adding a new model: "dev/adding_new_model.md"
- Adding a new tree-sitter frontend: "dev/adding_new_tree_sitter_frontend.md"
- Generating code2fn model coverage reports: "dev/generating_code2fn_model_coverage.md"
- Using code ingestion frontends: "dev/using_code_ingestion_frontends.md"
- Using tree-sitter preprocessor: "dev/using_tree_sitter_preprocessor.md"
- Coverage:
- Code2fn coverage reports: "coverage/code2fn_coverage/report.html"
- TA1 Integration Dashboard: "coverage/ta1_integration_dashboard.md"
Copy link
Collaborator

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

If you'd prefer, the value for this can just be the external URL. Something like this:

    - Coverage:
        - Code2fn coverage reports: "coverage/code2fn_coverage/report.html"
        - TA1 Integration Dashboard: "https://integration-dashboard.terarium.ai/TA1"

Example here: https://www.mkdocs.org/user-guide/configuration/#nav

Copy link
Collaborator Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oh that would be better! I'll push that change in! Thanks!

@github-actions github-actions bot removed the documentation Improvements or additions to documentation label Nov 17, 2023
Copy link
Collaborator

@myedibleenso myedibleenso left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM. Thanks for doing this, @Free-Quarks . If you're ok with waiting a bit, I'd like to first merge #644 .

@myedibleenso myedibleenso merged commit fe533d7 into main Nov 17, 2023
8 checks passed
@myedibleenso myedibleenso deleted the lieffers/coverage branch November 17, 2023 23:23
github-actions bot added a commit that referenced this pull request Nov 17, 2023
…665)

## Summary of Changes

- I added an entry to link to the TA1 Integration Dashboard run by the
TA4 people.
- I did a little organization change to the Nav bar, so make a new
coverage section for our coverage reports and testing

---------

Co-authored-by: Justin <[email protected]> fe533d7
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants